For any class of operators which transform unary total functions in the set of natural numbers into functions of the same kind, we define what it means for a real function to be uniformly computable or conditionally computable with respect to this class. These two computability notions are natural generalizations of certain notions introduced in a previous paper co-authored by Andreas Weiermann and in another previous paper by the same authors, respectively. Under certain weak assumptions about the class in question, (...) we show that conditional computability is preserved by substitution, that all conditionally computable real functions are locally uniformly computable, and that the ones with compact domains are uniformly computable. The introduced notions have some similarity with the uniform computability and its non-uniform extension considered by Katrin Tent and Martin Ziegler, however, there are also essential differences between the conditional computability and the non-uniform computability in question. (shrink)

We consider the complexity of the integration operator on real functions with respect to the subrecursive class M^2 . We prove that the definite integral of a uniformly M^2-computable analytic real function with M^2-computable limits is itself M^2-computable real number. We generalise this result to integrals with parameters and with varying limits. As an application, we show that the Euler-Mascheroni constant is M^2-computable.

In this paper I try to underline both the positive and negative circumstances in which I began translating Heidegger's "Sein und Zeit" in Greek. In 1971 I started, as a young student of philosophy, to study and translate this book, although I misunderstood it and considered it as a paradigm of "existentiell", not existential philosophy. I benefited essentially from both the English and the French translations and I've also received great help from my Greek mentor, E. N. Platis. I published (...) my translation in two volumes, one in 1978 and the other in 1985 and the critics have been very positive. At the beginning, I gave extended explanations about the translation problems and my solutions in a paper published in 1974. In the following years, I wrote articles about the Heideggerian concepts, in order to facilitate a better understanding of his philosophy.. (shrink)

O utopianismo científico de Neurath é a proposta para que as ciências sociais se envolvam na elaboração, desenvolvimento e comparação de cenários contrafactuais, as ‘utopias’. Tais cenários podem ser entendidos como peças centrais de experimentos de pensamento científicos, isto é, em exercícios da imaginação que não apenas promovem a revisão conceitual, mas também estimulam a criatividade para lidar com problemas vivenciados, já que utopias são esforços para imaginar como o futuro poderia ser. Ademais, experimentos de pensamento utópicos podem oferecer conhecimento (...) científico para informar debates e decisões políticas, contribuindo para formatar a sociedade. Este ensaio reconstrói um evento histórico como um exemplo da metodologia utopianista de Neurath. No final dos anos 1970 e início dos anos 1980, uma comissão científica e política designada pelo parlamento da Alemanha Ocidental inventou e comparou quatro cenários para políticas energético-econômicas futuras. Conclusões da comissão informaram decisões políticas que puseram a Alemanha Ocidental (e depois reunificada) em um caminho para se tornar uma potência industrial verde. Uma parte fundamental do trabalho da comissão envolveu um apelo à imaginação, permitindo a caracterização sob a metodologia de Neurath. (shrink)

The evolution of the human mind through natural selection mandates that our conscious experiences are causally potent in order to leave a tangible impact upon the surrounding physical world. Any attempt to construct a functional theory of the conscious mind within the framework of classical physics, however, inevitably leads to causally impotent conscious experiences in direct contradiction to evolution theory. Here, we derive several rigorous theorems that identify the origin of the latter impasse in the mathematical properties of ordinary differential (...) equations employed in combination with the alleged functional production of the mind by the brain. Then, we demonstrate that a mind--brain theory consistent with causally potent conscious experiences is provided by modern quantum physics, in which the unobservable conscious mind is reductively identified with the quantum state of the brain and the observable brain is constructed by the physical measurement of quantum brain observables. The resulting quantum stochastic dynamics obtained from sequential quantum measurements of the brain is governed by stochastic differential equations, which permit genuine free will exercised through sequential conscious choices of future courses of action. Thus, quantum reductionism provides a solid theoretical foundation for the causal potency of consciousness, free will and cultural transmission. (shrink)

The building of a developed socialist society is a process of shaping a highly advanced system of intellectual life and forming a new human being. Simultaneous with the creation and perfection of a new basis in material technology and social relationships, a process of comprehensive and harmonious development of the socialist personality takes place. On the level of development of the personality we face the task of creating a scientifically valid system of forms and methods of education and training, which (...) requires the implementation of interdisciplinary sociological, pedagogical, ethical, and psychological studies of the process of molding the new human being. (shrink)

Broad‐complex, Tramtrack, and Bric‐à‐brac/poxvirus and zinc finger (BTB/POZ) is a conserved domain found in many eukaryotic proteins with diverse cellular functions. Recent studies revealed its importance in multiple developmental processes as well as in the onset and progression of oncological diseases. Most BTB domains can form multimers and selectively interact with non‐BTB proteins. Structural studies of BTB domains delineated the presence of different interfaces involved in various interactions mediated by BTBs and provided a basis for the specific inhibition of distinct (...) protein‐interaction interfaces. BTB domains originated early in eukaryotic evolution and progressively adapted their structural elements to perform distinct functions. In this review, we summarize and discuss the structural principles of protein‐protein interactions mediated by BTB domains based on the recently published structural data and advances in protein modeling. We propose an update to the structure‐based classification of BTB domain families and discuss their evolutionary interconnections. (shrink)

This book addresses the fascinating cross-disciplinary field of quantum information theory applied to the study of brain function. It offers a self-study guide to probe the problems of consciousness, including a concise but rigorous introduction to classical and quantum information theory, theoretical neuroscience, and philosophy of the mind. It aims to address long-standing problems related to consciousness within the framework of modern theoretical physics in a comprehensible manner that elucidates the nature of the mind-body relationship. The reader also gains an (...) overview of methods for constructing and testing quantum informational theories of consciousness. (shrink)

Lackey’s (2007) class of “selfless assertions” is controversial in at least two respects: it allows propositions that express Moorean absurdity to be asserted warrantedly, and it challenges the orthodox view that the speaker’s belief is a necessary condition for warranted assertibility. With regard to the former point, I critically examine Lackey’s broadly Gricean treatment of Moorean absurdity and McKinnon’s (2015) epistemic approach. With regard to the latter point, I defend the received view by supporting the knowledge account, on which knowledge (...) is the necessary condition for warranted assertion. After examining two defenses of KA, by Montminy and Turri, I propose two alternative approaches. Although I remain neutral between them, I develop in more detail the view which classifies “selfless assertions” as “presentations”, a type of assertives distinct from genuine assertions. This account is motivated further by allowing for the expansion of the normative approach to other assertives, a feature we may be interested in, in the light of a recent wave of normative accounts of speech acts. (shrink)

The natural evolution of consciousness in different animal species mandates that conscious experiences are causally potent in order to confer any advantage in the struggle for survival. Any endeavor to construct a physical theory of consciousness based on emergence within the framework of classical physics, however, leads to causally impotent conscious experiences in direct contradiction to evolutionary theory since epiphenomenal consciousness cannot evolve through natural selection. Here, we review recent theoretical advances in describing sentience and free will as fundamental aspects (...) of reality granted by quantum physical laws. Modern quantum information theory considers quantum states as a physical resource that endows quantum systems with the capacity to perform physical tasks that are classically impossible. Reductive identification of conscious experiences with the quantum information comprised in quantum brain states allows for causally potent consciousness that is capable of performing genuine choices for future courses of physical action. The consequent evolution of brain cortical networks contributes to increased computational power, memory capacity, and cognitive intelligence of the living organisms. (shrink)

The human mind is constituted by inner, subjective, private, first-person conscious experiences that cannot be measured with physical devices or observed from an external, objective, public, third-person perspective. The qualitative, phenomenal nature of conscious experiences also cannot be communicated to others in the form of a message composed of classical bits of information. Because in a classical world everything physical is observable and communicable, it is a daunting task to explain how an empirically unobservable, incommunicable consciousness could have any physical (...) substrates such as neurons composed of biochemical molecules, water, and electrolytes. The challenges encountered by classical physics are exemplified by a number of thought experiments including the inverted qualia argument, the private language argument, the beetle in the box argument and the knowledge argument. These thought experiments, however, do not imply that our consciousness is nonphysical and our introspective conscious testimonies are untrustworthy. The principles of classical physics have been superseded by modern quantum physics, which contains two fundamentally different kinds of physical objects: unobservable quantum state vectors, which define what physically exists, and quantum operators (observables), which define what can physically be observed. Identifying consciousness with the unobservable quantum information contained by quantum physical brain states allows for application of quantum information theorems to resolve possible paradoxes created by the inner privacy of conscious experiences, and explains how the observable brain is constructed by accessible bits of classical information that are bound by Holevo's theorem and extracted from the physically existing quantum brain upon measurement with physical devices. (shrink)

Capacity of conscious agents to perform genuine choices among future alternatives is a prerequisite for moral responsibility. Determinism that pervades classical physics, however, forbids free will, undermines the foundations of ethics, and precludes meaningful quantification of personal biases. To resolve that impasse, we utilize the characteristic indeterminism of quantum physics and derive a quantitative measure for the amount of free will manifested by the brain cortical network. The interaction between the central nervous system and the surrounding environment is shown to (...) perform a quantum measurement upon the neural constituents, which actualize a single measurement outcome selected from the resulting quantum probability distribution. Inherent biases in the quantum propensities for alternative physical outcomes provide varying amounts of free will, which can be quantified with the expected information gain from learning the actual course of action chosen by the nervous system. For example, neuronal electric spikes evoke deterministic synaptic vesicle release in the synapses of sensory or somatomotor pathways, with no free will manifested. In cortical synapses, however, vesicle release is triggered indeterministically with probability of 0.35 per spike. This grants the brain cortex, with its over 100 trillion synapses, an amount of free will exceeding 96 terabytes per second. Although reliable deterministic transmission of sensory or somatomotor information ensures robust adaptation of animals to their physical environment, unpredictability of behavioral responses initiated by decisions made by the brain cortex is evolutionary advantageous for avoiding predators. Thus, free will may have a survival value and could be optimized through natural selection. (shrink)

Epistemic logic is one of the most exciting areas in medieval philosophy. Neglected almost entirely after the end of the Middle Ages, it has been rediscovered by philosophers of the twentieth century. Epistemic Logic in the Later Middle Ages provides the first comprehensive study of the subject. Ivan Boh explores the contrast between epistemic and alethic conceptions of consequence, the general epistemic rules of consequence, the search for conditions of knowing contingent propositions, the problems of substitutivity in intentional contexts, (...) the considerations of epistemic/doxastic iterated modalities, and the problems of composite and divided senses in authors ranging from Abelard to Frachantian. Boh concludes with a comparison between medieval endeavors and the epistemic logic of our own times. Written in a clear and readable style with minimal symbolic apparatus, this book employs modern symbolism and conceptual frameworks, and complements the studies of the syntacticand semantic dimensions of medieval logic. (shrink)

The brain is composed of electrically excitable neuronal networks regulated by the activity of voltage-gated ion channels. Further portraying the molecular composition of the brain, however, will not reveal anything remotely reminiscent of a feeling, a sensation or a conscious experience. In classical physics, addressing the mind–brain problem is a formidable task because no physical mechanism is able to explain how the brain generates the unobservable, inner psychological world of conscious experiences and how in turn those conscious experiences steer the (...) underlying brain processes toward desired behavior. Yet, this setback does not establish that consciousness is non-physical. Modern quantum physics affirms the interplay between two types of physical entities in Hilbert space: unobservable quantum states, which are vectors describing what exists in the physical world, and quantum observables, which are operators describing what can be observed in quantum measurements. Quantum no-go theorems further provide a framework for studying quantum brain dynamics, which has to be governed by a physically admissible Hamiltonian. Comprising consciousness of unobservable quantum information integrated in quantum brain states explains the origin of the inner privacy of conscious experiences and revisits the dynamic timescale of conscious processes to picosecond conformational transitions of neural biomolecules. The observable brain is then an objective construction created from classical bits of information, which are bound by Holevo’s theorem, and obtained through the measurement of quantum brain observables. Thus, quantum information theory clarifies the distinction between the unobservable mind and the observable brain, and supports a solid physical foundation for consciousness research. (shrink)

Identifying, classifying, and analyzing arguments in legal discourse has been a prominent area of research since the inception of the argument mining field. However, there has been a major discrepancy between the way natural language processing (NLP) researchers model and annotate arguments in court decisions and the way legal experts understand and analyze legal argumentation. While computational approaches typically simplify arguments into generic premises and claims, arguments in legal research usually exhibit a rich typology that is important for gaining insights (...) into the particular case and applications of law in general. We address this problem and make several substantial contributions to move the field forward. First, we design a new annotation scheme for legal arguments in proceedings of the European Court of Human Rights (ECHR) that is deeply rooted in the theory and practice of legal argumentation research. Second, we compile and annotate a large corpus of 373 court decisions (2.3M tokens and 15k annotated argument spans). Finally, we train an argument mining model that outperforms state-of-the-art models in the legal NLP domain and provide a thorough expert-based evaluation. All datasets and source codes are available under open lincenses at https://github.com/trusthlt/mining-legal-arguments. (shrink)

_Epistemic Logic_ studies statements containing verbs such as 'know' and 'wish'. It is one of the most exciting areas in medieval philosophy. Neglected almost entirely after the end of the Middle Ages, it has been rediscovered by philosophers of the present century. This is the first comprehensive study of the subject. Ivan Boh explores the rules for entailment between epistemic statements, the search for the conditions of knowing contingent propositions, the problems of substitutivity in intentional contexts, the relationship between (...) epistemic and modal logic, and the problems of composite and divided senses in authors ranging from Abelard to Frachantian. (shrink)

ARAGÃO, Ivan Rêgo. “ Vinde todas as pessoas, e vede a minha dor ”: A Festa/Procissão ao Nosso Senhor dos Passos como Atrativo Potencial Turístico em São Cristóvão-Sergipe-Brasil. 2012. 198f. Dissertação (Mestrado) Cultura e Turismo – Universidade Estadual de Santa Cruz (UESC), Ilhéus-BA. Palavras-chave: Turismo Cultural-Religioso Católico. Religiosidade Popular. Festa do Senhor dos Passos. Keywords: Catholic Religious-Cultural Tourism. Popular Religiosity. Party of Lord of the Steps.

An overview on archaeological evidence, provided by Colagè and d’Errico, reveals that the timing, location, and pace of cultural innovations are more consistent with scenarios that take culture, rather than genetic evolutionary processes, as the key driving force for human cognition. The authors elaborate on those mechanisms by which cultural evolution operates, with a specific focus on cultural exaptation and cultural neural reuse.

The "theory of mind" framework has been the fastest growing body of empirical research in contemporary psychology. It has given rise to a range of positions on what it takes to relate to others as intentional beings. This book brings together disparate strands of ToM research, lays out historical roots of the idea, and indicates better alternatives.

Liberalism was not only the first modern ideology, it was also the first secular movement to have an international presence. The scholarly articles in this collection, skillfully edited by Iván Zoltán Dénes, examine liberal ideas and movements from Scotland to the Ottoman Empire. The volume seeks to uncover and analyze various relationships between liberalisms and nationalisms, national identities and modernity concepts, nations and empires, nation-states and nationalities, traditions and modernities, images of the self and the others, modernization strategies and identity (...) creations. This volume provides an important historical analysis that is essential toward understanding the questions and motivations of liberalism in the European Union today. This is, therefore, a timely contribution to both historiography and contemporary politics. (shrink)

A disconnect remains between theories about responsible management and application in real-life organizations. Part of the reason is due to the complexity and holistic nature of the field, and the fact that many of the benefits of aligning business objectives with changing societal conditions are of an intangible nature. Human resource management is an increasingly important part of the field with benefits including talent retention, higher levels of motivation, and improvements in organizational cohesion. This paper sets out an experiment run (...) at a large Spanish university to try to analyze the impact on worker productivity of a responsible management stance by an employer. Based on the Corporate Social Performance model, the paper examines the issue from the point of view of responsibilities, responsiveness, and outcomes, and considers the cost/benefit effect of incorporating a social responsibility variable into the wage structure to measure the impact on productivity. (shrink)

_Epistemic Logic_ studies statements containing verbs such as 'know' and 'wish'. It is one of the most exciting areas in medieval philosophy. Neglected almost entirely after the end of the Middle Ages, it has been rediscovered by philosophers of the present century. This is the first comprehensive study of the subject. Ivan Boh explores the rules for entailment between epistemic statements, the search for the conditions of knowing contingent propositions, the problems of substitutivity in intentional contexts, the relationship between (...) epistemic and modal logic, and the problems of composite and divided senses in authors ranging from Abelard to Frachantian. (shrink)

Aunque fueron contemporáneos, Borges y Wittgenstein nunca se conocieron, ni se citaron, ni se leyeron. Pero hay poderosas afinidades y conexiones entre ambos. Por ejemplo, al fin del Tractatus Wittgenstein entiende que hay que callar precisamente ahí porque se ha llegado a un punto en el que conceptual se subordina a lo poético. La idea de que la naturaleza estética del mundo no puede representarse por medio del lenguaje también es característica de Borges. El mar, los atardeceres, la llama de (...) una hoguera, por ejemplo, son la inminencia de una revelación que nunca se produce, son el hecho estético. La obra de Wittgenstein es estrictamente filosófica y al mismo tiempo literaria. Esa proposición parece verdadera también para el caso de la obra de Borges. (shrink)

The oldest preserved commentary on the Br̥hadāraṇyaka-Upaniṣad was composed by Śaṅkara. Sureśvara composed a sub-commentary on this commentary, while Ānandagiri composed commentaries both on Śaṅkara’s commentary and on Sureśvara’s sub-commentary. All these four books contain a number of passages from earlier works which are not preserved. Sureśvara and Ānandagiri attributed some of these passages to a commentator named Bhartr̥prapañca. The aim of this article is to present a philological method which will establish which of the passages might be paraphrases and (...) which might be quotations from Bhartr̥prapañca’s lost commentary composed in the scope of the bhedābheda theory. This article will argue that Śaṅkara paraphrases Bhartr̥prapañca’s text, while Ānandagiri quotes most probably Bhartr̥prapañca’s text literally. This text was metrically adjusted by Sureśvara who paraphrases Bhartr̥prapañca by shortening and adjusting the original text in order to fit into the pattern of the śloka meter. If this is true, it is possible to establish a methodology which may help us to reconstruct portions of the oldest known commentary on the Br̥hadāraṇyaka-Upaniṣad. (shrink)

This paper discusses the reliability of the criteria for determining Śaṅkara’s authorship established by Paul Hacker. His analysis of terminological peculiarities is based on only one of Śaṅkara’s works—the commentary on the Brahma-Sūtras. Therefore, doubt arises as to whether these criteria also apply to other works that we can claim to be authentic. First, it will be argued that the commentaries on the Bṛhadāraṇyaka- and Taittirīya-Upaniṣad are works that can be—with reasonable certainty—considered authentic. When applied to these two works, Hacker’s (...) criteria work remarkably well, and the commentaries on the Taittirīya- and Bṛhadāraṇyaka-Upaniṣad share the same terminological and conceptual features with the Brahma-Sūtra-Bhāṣya. Moreover, in most cases, it is possible to distinguish the usage of some terms and concepts from Sureśvara and Padmapāda. On the other hand, Sureśvara and Padmapāda use some of these terms in a quite similar way as Śaṅkara, but differently than the later Advaitins, indicating that a sharp line between Śaṅkara on the one hand and Sureśvara and Padmapāda on the other cannot be drawn in many cases. Also, the writings of these authors—especially Padmapāda—represent a transitional phase in the development of certain Advaita Vedānta concepts although the outlines of some peculiarities by which the later Advaita Vedānta differs from Śaṅkara can already be found sketched by Śaṅkara himself. (shrink)

¿Cuántas imágenes hacen un poema? ¿Cuántas palabras se necesitan para construir un pensamiento? Vemos palabras de la misma manera que vemos árboles y casas, pero no vemos el bosque ni la ciudad como no vemos el poema y el pensamiento; lo verdaderamente esencial de ambos permanece oculto a nuestra simple y cotidiana mirada. El ojo y el oído se han acostumbrado a ver y a oír, es natural, es lo que se espera de dos órganos que están hechos para cumplir (...) esta misión. Pero ni vemos ni oímos más allá de los límites creados por la rutina de nuestra cotidianidad, hemos fijado a la superficie el paisaje y todo cuanto lo contiene: colores, olores, sonidos y texturas; vemos sin ver, oímos sin oír, olemos sin oler, tocamos sin sentir; esto es, sin diferenciar. Sin duda, establecer la diferencia, en cada acontecimiento particular, nos permitiría ir más allá de lo que simplemente se pone frente a nosotros; estamos tentados a nombrar esta diferencia como profundidad, pero mucho me temo que la profundidad también es una trampa, se trataría más bien de saber moverse entre ambas; sería algo así como dejarse sorprender por lo nuevo que hay en lo mismo, por lo imperceptible e invisible que existe en lo real y visible de la cotidianidad. (shrink)

La fundamentación de la física clásica llevó a Descartes a encontrar en el "ego cogito" la condición necesaria de todas las representaciones posibles: los conceptos de materia y de movimiento, tal como los exigía la nueva ciencia fueron concebidos por él inicialmente en una forma extremadamente racionalista, lo cual convirtió al "yo pienso" en el sujeto, en el fundamento de todo lo que puede ser real. Algunos científicos han sostenido que el "yo" según Descartes supone una tal preeminencia de la (...) epistemología, que impide pensar la moral y la situación del hombre frente a la incertidumbre de la vida. Se verá en el artículo que el sujeto hace de la naturaleza un mero objeto, pero mantiene su propia esfera, la de la libertad, hacia la cual estará dirigida toda la admiración después de que Descartes lograra resolver el enigma del universo. (shrink)

I this paper, I discuss Plumwood’s feminist logic program. I argue both in favor of her general stance in feminist philosophy of logic and her more specific feminist critique of classical logic. Plumwood’s general position is in opposition with (I think it’s safe to say) the prevailing view in analytic philosophy about the relation between formal logic and feminist theory, according to which feminist theory cannot say anything about or against logic proper, since the issues of oppression are external to (...) logic as a (formal) discipline. Connected to this externalism is a non-Plumwoodian view that “feminist logic” either doesn’t mean anything, or that it has some figurative meaning. Concerning Plumwood’s (I think it’s safe to say) not widely accepted feminist critique of classical logic, I propose an interpretation according to which classical logic is oppressive only when it’s used to describe a particular, “dualized” or “dualizable”, kind of notions. In accordance with this understanding, I consider five features of oppressive differentiations as proposed by Plumwood, arguing that two of them don’t concern negation, the feminist critique of which operator Plumwood is mostly (in)famous for. (shrink)